Introduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...